Masaki Hara; "ipc_botの解説 決定版!"
https://zenn.dev/qnighy/articles/103144250d0a9d
qnighy
ipc_bot
の解説.
直観主義命題論理
の証明アルゴリズムなどについても記載有り